Modeling in Event-B
Hardback
Published 13 May 2010
- $189.84
Search for "Jean Raymond Abrial"
4 results
-
-
$22.90off
The B-Book
Paperback
Published 11 Mar 2005Save $22.90
- RRP $133.99
- $111.09
-
$7.52off
Rigorous Methods for Software C...
Paperback
Published 20 Jan 2010Save $7.52
- RRP $61.51
- $53.99
-
$16.07off
Formal Methods for Industrial A...
Paperback
Published 30 Oct 1996Save $16.07
- RRP $123.03
- $106.96